On coherence
نویسندگان
چکیده
منابع مشابه
On Text Coherence Parsing
In this paper global patterns of thematic text organization me considered within the framework of a distributed model of text understmlding, ttased on file parsing resuhs of prior lext cohesioll analysis, specialized text grammar modules deternfine whether SOllle well-defined text lllltCro organization palteln is cOlll])ulabte flOlll the available text representatiolt SIrUCttlreS. The model und...
متن کاملOn probabilistic coherence spaces
We introduce a probabilistic version of coherence spaces and show that these objects provide a model of linear logic. We build a model of the pure lambda-calculus in this setting and show how to interpret a probabilistic version of the functional language PCF. We give a probabilistic interpretation of the semantics of probabilistic PCF closed terms of ground type.
متن کاملToken Coherence: Low-Latency Coherence on Unordered Interconnects
Future shared-memory multiprocessor servers will target commercial workloads using highly-integrated “glueless” designs. Commercial workloads, which exhibit frequent sharing misses, benefit from the direct communication of snooping protocols. Unfortunately, snooping systems require a totally-ordered interconnect, which is difficult to efficiently implement in glueless designs. The standard alte...
متن کاملOn Anytime Coherence-Based Reasoning
A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which selects several consistent subsets of the knowledge base and an entailment operation which uses classical implication on these subsets in order to conclude. An important advantage of these formalisms is their flexibility : conso...
متن کاملOn Coherence Approach to LogicProgram
We present a new approach to revising extended programs, based on the coherence theory initially advocated by Gardenfors for belief revision. We deene the skeptical and credulous coherence semantics and show that both semantics can be characterized in terms of the xpoint semantics of a revised program using a simple program revision technique. Semantical properties and advantages of the propose...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1989
ISSN: 0028-0836,1476-4687
DOI: 10.1038/339518b0